#ifndef _PCB_CACHE_H
#define _PCB_CACHE_H

#include <csp_shared_types.h>


using namespace std;

class PCBCache
{
	public:
		~PCBCache();
		static PCBCache* Instance();
		pcb_t* Head();
		int GetFreeIdx();
	protected:
		PCBCache();
		PCBCache(const PCBCache&);
		PCBCache& operator= (const PCBCache&);
	private:
		static PCBCache* pinstance;
		char *bitarray;
		pcb_t* pcb_cache_head;
};

#endif
